Concurrent Object Nets - a Design Method for Distributed and Embedded Real-time Systems
نویسندگان
چکیده
Abstract. In this paper we present an object-oriented method for the design, verification and implementation of embedded and distributed real-time systems. The method is called Concurrent Object Net (CON). The CON method is based upon extended statecharts which use specific message links for communication. For simulation and verification corresponding Petri nets are used. A platform abstraction framework for CON accesses hardware in optimized manner. An anti-slip-control of a rc-car is used to show further CON details.
منابع مشابه
Object Nets for the Design and Verification of Distributed and Embedded Applications
In this paper we present an object-oriented method for the design, verification and implementation of embedded and distributed systems. The method is called Concurrent Object Net (CON). The CON method is based upon extended statecharts which use specific message links for communication. For simulation and verification corresponding Petri nets are used. A platform abstraction framework for CON a...
متن کاملObject-oriented development of the embedded system based on Petri-nets
Embedded systems are an emerging field that has commanded attention and support from the industrial community. They have been a part of daily life today. However, complex behaviors and a lack of reusability and modularization have been obstacles to the development of successful embedded systems. A typical issue or challenge of embedded system design lies on the synthesis of software and hardwar...
متن کاملModeling and Prototyping of Real-Time Embedded Software Architectural Designs with Colored Petri Nets
This paper describes an approach for constructing rapid prototypes to assess the behavioral characteristics of real-time embedded software architecture designs. Starting with a software architecture design nominally developed the using COMET concurrent object-oriented design method, an executable Colored Petri Net (CPN) prototype of the software architecture is developed. This prototype allows ...
متن کاملConcurrent Object-Oriented Programming for Distributed Real-time Systems
Concurrent object-oriented programming is becoming an important programming paradigm in real-time system implementations, because it can e ectively integrate object-oriented programming, concurrent processing, and distributed processing. As run-time e ciency and program maintainability are strongly required in real-time systems, elaborated tuning is required both in application system design an...
متن کاملA Petri Net based Method for Analyzing Schedulability of Distributed Real-time Embedded Systems
As computer systems become increasingly internetworked, a challenging problem faced by researchers and developers of distributed real-time and embedded (DRE) systems is devising and implementing an effective shedulability strategy that can meet real-time requirements in varying operational conditions. In this paper, an extended Place-timed Petri nets (EPdPN) is proposed for schedulability analy...
متن کامل